<html>
<head><meta charset="utf-8"><title>Reconcile TAIT tests #86727 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html">Reconcile TAIT tests #86727</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="244757485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757485">(Jul 02 2021 at 21:05)</a>:</h4>
<p>was checking what needs to be done regarding this issue</p>



<a name="244757638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757638">(Jul 02 2021 at 21:07)</a>:</h4>
<p>if I understand correctly we want to go over <a href="https://hackmd.io/o9KO-D8aSb6bJgQ1froVTA#Test-cases">this list</a> example by example and or either find a test in our test suite that represents that example and maybe add a comment to it telling so or if we don't find one just create a test case</p>



<a name="244757646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757646">(Jul 02 2021 at 21:07)</a>:</h4>
<p>is that right?</p>



<a name="244757682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757682">(Jul 02 2021 at 21:07)</a>:</h4>
<p>yep</p>



<a name="244757742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757742">(Jul 02 2021 at 21:08)</a>:</h4>
<p>do we want also to write down the test in the stabilization report?</p>



<a name="244757766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757766">(Jul 02 2021 at 21:08)</a>:</h4>
<p>What do you mean? Like just write what tests are where?</p>



<a name="244757804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757804">(Jul 02 2021 at 21:09)</a>:</h4>
<p>I'm not sure I get what do I need to do in the HackMD</p>



<a name="244757807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757807">(Jul 02 2021 at 21:09)</a>:</h4>
<p><code>You can just edit the draft stabilization report hackmd directly.</code></p>



<a name="244757819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244757819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244757819">(Jul 02 2021 at 21:09)</a>:</h4>
<p>I was guessing that we wanted the test code also pasted there?</p>



<a name="244759002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244759002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244759002">(Jul 02 2021 at 21:21)</a>:</h4>
<p>Oh, no, just write what tests are where</p>



<a name="244759419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/244759419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#244759419">(Jul 02 2021 at 21:27)</a>:</h4>
<p>ok, yeah, anyway I can start and check what we exactly want as we go</p>



<a name="245039882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245039882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245039882">(Jul 06 2021 at 13:41)</a>:</h4>
<p>I was talking to <span class="user-mention" data-user-id="124288">@oli</span> about this today</p>



<a name="245074108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245074108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245074108">(Jul 06 2021 at 17:45)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="124288">@oli</span> anything to share?</p>



<a name="245074144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245074144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245074144">(Jul 06 2021 at 17:45)</a>:</h4>
<p>I should start working on this one :)</p>



<a name="245074373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245074373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245074373">(Jul 06 2021 at 17:47)</a>:</h4>
<p>I would make the list a check-list and then start checking all that already have tests and create tests for the rest. Any tests that work fine can go into a PR, the others should be discussed.</p>



<a name="245075345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245075345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245075345">(Jul 06 2021 at 17:55)</a>:</h4>
<p>yeah, agreed</p>



<a name="245082625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245082625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245082625">(Jul 06 2021 at 18:50)</a>:</h4>
<p>+1</p>



<a name="245086478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245086478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245086478">(Jul 06 2021 at 19:20)</a>:</h4>
<p>the good news is that <code>x.py test</code> now fails a lot of things</p>



<a name="245086488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245086488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245086488">(Jul 06 2021 at 19:20)</a>:</h4>
<p>so maybe <em>that</em> is the problem</p>



<a name="245088031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245088031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245088031">(Jul 06 2021 at 19:32)</a>:</h4>
<p>looks like there are a variety of things going on</p>



<a name="245088040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245088040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245088040">(Jul 06 2021 at 19:32)</a>:</h4>
<p>but I do think some of the tests correspond to the problem</p>



<a name="245088049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/245088049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#245088049">(Jul 06 2021 at 19:32)</a>:</h4>
<p>oops, wrong topic</p>



<a name="246013011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/246013011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#246013011">(Jul 14 2021 at 20:07)</a>:</h4>
<p>was building a table with the different test cases and where we can find them</p>



<a name="246013014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/246013014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#246013014">(Jul 14 2021 at 20:07)</a>:</h4>
<p><a href="https://hackmd.io/y1HwFSBUQS2ZKrSFuQ0Dnw?view">https://hackmd.io/y1HwFSBUQS2ZKrSFuQ0Dnw?view</a></p>



<a name="246013059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/246013059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#246013059">(Jul 14 2021 at 20:07)</a>:</h4>
<p>if someone have a better tip of what to use to build such a thing, considering spreadsheets :)</p>



<a name="246013112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/246013112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#246013112">(Jul 14 2021 at 20:07)</a>:</h4>
<p>but I guess a table is going to be a good way of tracking that</p>



<a name="246015189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/246015189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#246015189">(Jul 14 2021 at 20:25)</a>:</h4>
<p>This is pretty decent.</p>



<a name="247219042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/247219042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#247219042">(Jul 26 2021 at 15:32)</a>:</h4>
<p>when we say "Disagreement between fns in the lifetimes"</p>



<a name="247219060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/247219060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#247219060">(Jul 26 2021 at 15:32)</a>:</h4>
<p>what do we mean?</p>



<a name="247219187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Reconcile%20TAIT%20tests%20%2386727/near/247219187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Reconcile.20TAIT.20tests.20.2386727.html#247219187">(Jul 26 2021 at 15:33)</a>:</h4>
<p>I guess we are talking about 2 different defining uses of a TAIT where it's lifetimes differ?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>